Comprehension of spacecraft telemetry using hierarchical specifications of behavior? Klaus Havelund and Rajeev Joshi Jet Propulsion Laboratory California Institute of Technology California, USA

Source URL: rjoshi.org

• E1
• Hepatitis C virus

Runtime Verification Logics A Language Design Perspective Klaus Havelund1? and Giles Reger2?? 1 Jet Propulsion Laboratory, California Inst. of Technology, USA

Source URL: www.cs.man.ac.uk

• Theoretical computer science
• Mathematics
• Formal methods
• Logic in computer science
• Models of computation
• Temporal logic
• Runtime verification
• Formal verification
• Model checking
• Linear temporal logic
• Finite-state machine
• FO

Optimal Movement Primitives Terence D. Sanger Jet Propulsion Laboratory MSOak Grove Drive

Source URL: papers.nips.cc

Accelerating Bayesian Structural Inference for Non-Decomposable Gaussian Graphical Models Baback Moghaddam1, Benjamin M. Marlin2, Mohammad Emtiyaz Khan2 and Kevin P. Murphy2 1. Jet Propulsion Laboratory, California Insti

Source URL: emtiyaz.github.io

CLIMATE CHANGE Part 1. Explore the world of ocean topography from space with this 3D interactive viewer from the Jet Propulsion Laboratory. 1A._www.nasa.gov/centers/jpl/missions/jason.html_ 1A-1. What is Jason I? 1A-2. W

Source URL: windward.hawaii.edu

INSTITUTE POLICY Environment, Health, and Safety Policy Statement The California Institute of Technology including its division the Jet Propulsion Laboratory (“JPL”), (“Caltech” or “the Institute”) is committ

Source URL: hr.caltech.edu

Model Checking Multitask Applications for OSEK Compliant Real Time Operating Systems Mark L. McKelvin, Jr. and Gerard Holzmann Jet Propulsion Laboratory, Laboratory for Reliable Software California Institute of Technolog

Source URL: spinroot.com

Lunar and Planetary Science XXIXpdf Io and the Early Earth. D. L. Matson, D. L. Blaney, T. V. Johnson, G. J. Veeder and A. G. Davis, Jet Propulsion Laboratory, MS, 4800 Oak Grove Drive, Pasadena, CA 91109,

Source URL: www.lpi.usra.edu

Proving Properties of Concurrent Programs (Extended Abstract) Gerard J. Holzmann Jet Propulsion Laboratory, California Institute of Technology

Source URL: spinroot.com

Parallelizing the Spin Model Checker Gerard J. Holzmann Laboratory for Reliable Software, Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA 91109, USA

Source URL: spinroot.com